コッドのルール10: 整合性の独立
from コッドのルール
整合性の制約はアプリケーションプログラムとは独立している必要があること
アプリケーションプログラム変更なしで制約が変更できること